# -*- coding: utf-8 -*-
"""
Created on Tue Sep 17 21:40:00 2019

@author: Administrator
"""

# 1014 福尔摩斯的越会
# 题目输入保证每个测试存在唯一解。(一定有解，且唯一)

# 测试用例：
# 90afdafdafuio 不满足
# fdafioDdfai09 不满足
# 902asDsaE 满足THU 14:xx
# 星期混淆H>G：sa30HAsasaE 应满足MON 14:xx
# 小时混淆z>n:zad30HA8090ddaME 应满足MON 14:xx

# 思路：按位置对比前两的字符串相同的大写英文字母，在A-G之内，来获取星期几、小时
# 按位置对比后面两个字符串相同的字母，在A-N之内，来获取分钟


# 对于第四个测试点：对于获取min的判断，小写字符和大写字符均可，即判断中添加'Z' >= data[2][k] >= 'A'
# 常用函数：
# 位数填零：'12'.zfill(3) # 012
# 字符转为整数值：ord('A') # 65

def test():
    
    data = []
    
    for i in range(4):
        raw = input()
        data.append(raw)
            
    # 对比大写英文字符串来获取星期和小时
    min_len = min(len(data[0]), len(data[1]))
    
    equals = []
    
    flag = 0
    
    for j in range(min_len):
        if len(equals) != 2:
            if flag == 0:
                if 'G' >= data[0][j] >= 'A' and data[0][j] == data[1][j]:
                    equals.append(data[0][j])
                    flag = 1
                    continue
            if flag == 1:
                if ('N' >= data[0][j] >= 'A' or '9' >=data[0][j] >= '0') and data[0][j] == data[1][j]:
                    equals.append(data[0][j])
                    break

    mins = obtian_mins(data)
    
    # 解析
    day = mapping_day(equals[0])
    hour = mapping_hour(equals[1])
    
    print('%s %s:%s' % (day, str(hour).zfill(2), str(mins).zfill(2)))


def obtian_mins(data):
    # 找到字符串中字母相同，记录所在第二个字符串中的位置     
    str3_len = len(data[2])
    str4_len = len(data[3])
    min_len = min(str3_len, str4_len)
    
    for k in range(min_len):
        # 解决第四个测试点不通过
        if 'z' >= data[2][k] >= 'a' or 'Z' >= data[2][k] >= 'A':
            if data[2][k] == data[3][k]:
                return k
    return 0

def mapping_day(str_day):
    
    days = ['MON', 'TUE', 'WED', 'THU', 'FRI', 'SAT', 'SUN']
    
    base = ord('A')
    diff = ord(str_day) - base
        
    return days[diff]

def mapping_hour(str_hour):
    
    result = ''
    
    if str(str_hour).isdigit():
        return str_hour
    else:
        result = str(ord(str_hour) - 55)
        
    return result

#print(mapping_hour('B'))
test()
